From 2280b98772711ef4950936b191486eb845e41219 Mon Sep 17 00:00:00 2001 From: Robert Lipe Date: Mon, 8 Oct 2018 14:21:04 -0500 Subject: [PATCH] Find gsed when doing a tools/docfix on a Mac populated by Homebrew: GNU sed is /usr/local/bin/ --- tools/fixdoc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/fixdoc b/tools/fixdoc index 9bd404ec8..c72d1d4c7 100755 --- a/tools/fixdoc +++ b/tools/fixdoc @@ -12,6 +12,8 @@ DIR=$1 TITLE=$2 SED=sed +# MacOS using Homebrew +[ -f /usr/local/bin/gsed ] && SED=/usr/local/bin/gsed [ -f /opt/local/bin/gsed ] && SED=/opt/local/bin/gsed [ ! -d $DIR/tpl ] && mkdir -p $DIR/tpl -- 2.30.2